weakest precondition - German English Dictionary